Some #p-completeness Proofs for Colourings and Independent Sets

We consider certain counting problems involving colourings of graphs and independent sets in hypergraphs. Using polynomial interpolation techniques, we show that these problems are #P -complete. Therefore, e cient approximate counting is the most one can realistically expect to achieve. Rapidly mixing Markov chains which can be used for approximately solving these counting problems have been recently developed by the authors.